[INFO] cloning repository https://github.com/yufengzjj/eggy1
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/yufengzjj/eggy1" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyufengzjj%2Feggy1", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyufengzjj%2Feggy1'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 1d1bcf889471e1c7f4fbd70d25e6cd056caa697f
[INFO] testing yufengzjj/eggy1 against try#0abe69e6c16114311cc2700e972492e64d69c28f for pr-154065-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyufengzjj%2Feggy1" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/yufengzjj/eggy1
[INFO] finished tweaking git repo https://github.com/yufengzjj/eggy1
[INFO] tweaked toml for git repo https://github.com/yufengzjj/eggy1 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/yufengzjj/eggy1 on toolchain 0abe69e6c16114311cc2700e972492e64d69c28f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/yufengzjj/eggy1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 3637a4af62867b934b6f87177fac12ac1e13ef7eee2efbb599bf523101502b40
[INFO] running `Command { std: "docker" "start" "-a" "3637a4af62867b934b6f87177fac12ac1e13ef7eee2efbb599bf523101502b40", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3637a4af62867b934b6f87177fac12ac1e13ef7eee2efbb599bf523101502b40", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3637a4af62867b934b6f87177fac12ac1e13ef7eee2efbb599bf523101502b40", kill_on_drop: false }`
[INFO] [stdout] 3637a4af62867b934b6f87177fac12ac1e13ef7eee2efbb599bf523101502b40
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] af4839bacda3a6eb0ff38c145474c564e1f2849eefe3607ba68ea1c017e1b53d
[INFO] running `Command { std: "docker" "start" "-a" "af4839bacda3a6eb0ff38c145474c564e1f2849eefe3607ba68ea1c017e1b53d", kill_on_drop: false }`
[INFO] [stderr]    Compiling unicode-ident v1.0.23
[INFO] [stderr]    Compiling libc v0.2.181
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling zerocopy v0.8.39
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling anstyle-parse v0.2.7
[INFO] [stderr]    Compiling colorchoice v1.0.4
[INFO] [stderr]    Compiling anstyle v1.0.13
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling pest v2.8.6
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling clap_lex v1.0.0
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling dot-structures v0.1.2
[INFO] [stderr]    Compiling cc v1.2.55
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling anstream v0.6.21
[INFO] [stderr]    Compiling arc-swap v1.8.1
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling crossbeam-queue v0.3.12
[INFO] [stderr]    Compiling crossbeam-channel v0.5.15
[INFO] [stderr]    Compiling linux-raw-sys v0.11.0
[INFO] [stderr]    Compiling regex-syntax v0.8.9
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling anyhow v1.0.101
[INFO] [stderr]    Compiling bitflags v2.10.0
[INFO] [stderr]    Compiling num-iter v0.1.45
[INFO] [stderr]    Compiling hashbrown v0.15.5
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]    Compiling clap_builder v4.5.58
[INFO] [stderr]    Compiling crossbeam v0.8.4
[INFO] [stderr]    Compiling syn v2.0.115
[INFO] [stderr]    Compiling dot-generator v0.2.0
[INFO] [stderr]    Compiling into-attr v0.1.1
[INFO] [stderr]    Compiling num-complex v0.4.6
[INFO] [stderr]    Compiling web-time v1.1.0
[INFO] [stderr]    Compiling im-rc v15.1.0
[INFO] [stderr]    Compiling bitmaps v2.1.0
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling getrandom v0.4.1
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling pest_meta v2.8.6
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling libmimalloc-sys v0.1.44
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling chrono v0.4.43
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling bumpalo v3.19.1
[INFO] [stderr]    Compiling num v0.4.3
[INFO] [stderr]    Compiling rand_xoshiro v0.6.0
[INFO] [stderr]    Compiling sized-chunks v0.6.5
[INFO] [stderr]    Compiling egglog-numeric-id v1.0.0 (https://github.com/egraphs-good/egglog.git?rev=57fdb7d#57fdb7df)
[INFO] [stderr]    Compiling tempfile v3.25.0
[INFO] [stderr]    Compiling csv-core v0.1.13
[INFO] [stderr]    Compiling hashbrown v0.16.1
[INFO] [stderr]    Compiling egglog-concurrency v1.0.0 (https://github.com/egraphs-good/egglog.git?rev=57fdb7d#57fdb7df)
[INFO] [stderr]    Compiling jiff v0.2.20
[INFO] [stderr]    Compiling egglog-union-find v1.0.0 (https://github.com/egraphs-good/egglog.git?rev=57fdb7d#57fdb7df)
[INFO] [stderr]    Compiling egglog v1.0.0 (https://github.com/egraphs-good/egglog.git?rev=57fdb7d#57fdb7df)
[INFO] [stderr]    Compiling csv v1.4.0
[INFO] [stderr]    Compiling pest_generator v2.8.6
[INFO] [stderr]    Compiling mimalloc v0.1.48
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling into-attr-derive v0.2.1
[INFO] [stderr]    Compiling indexmap v2.13.0
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling clap_derive v4.5.55
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling pest_derive v2.8.6
[INFO] [stderr]    Compiling env_filter v1.0.0
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling egglog-add-primitive v1.0.0 (https://github.com/egraphs-good/egglog.git?rev=57fdb7d#57fdb7df)
[INFO] [stderr]    Compiling petgraph v0.8.3
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling clap v4.5.58
[INFO] [stderr]    Compiling graphviz-rust v0.9.6
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling ordered-float v5.1.0
[INFO] [stderr]    Compiling egglog-reports v1.0.0 (https://github.com/egraphs-good/egglog.git?rev=57fdb7d#57fdb7df)
[INFO] [stderr]    Compiling env_logger v0.11.9
[INFO] [stderr]    Compiling egglog-core-relations v1.0.0 (https://github.com/egraphs-good/egglog.git?rev=57fdb7d#57fdb7df)
[INFO] [stderr]    Compiling egglog-ast v1.0.0 (https://github.com/egraphs-good/egglog.git?rev=57fdb7d#57fdb7df)
[INFO] [stderr]    Compiling egraph-serialize v0.3.0
[INFO] [stderr]    Compiling egglog-bridge v1.0.0 (https://github.com/egraphs-good/egglog.git?rev=57fdb7d#57fdb7df)
[INFO] [stderr]    Compiling egglog-experimental v0.1.0 (https://github.com/egraphs-good/egglog-experimental.git#93ff9241)
[INFO] [stderr]    Compiling eggy1 v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 02s
[INFO] running `Command { std: "docker" "inspect" "af4839bacda3a6eb0ff38c145474c564e1f2849eefe3607ba68ea1c017e1b53d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "af4839bacda3a6eb0ff38c145474c564e1f2849eefe3607ba68ea1c017e1b53d", kill_on_drop: false }`
[INFO] [stdout] af4839bacda3a6eb0ff38c145474c564e1f2849eefe3607ba68ea1c017e1b53d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4954e41e032157990d50f7dff10dd293448d052be26f836facbad13112e64194
[INFO] running `Command { std: "docker" "start" "-a" "4954e41e032157990d50f7dff10dd293448d052be26f836facbad13112e64194", kill_on_drop: false }`
[INFO] [stderr]    Compiling eggy1 v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 6.08s
[INFO] running `Command { std: "docker" "inspect" "4954e41e032157990d50f7dff10dd293448d052be26f836facbad13112e64194", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4954e41e032157990d50f7dff10dd293448d052be26f836facbad13112e64194", kill_on_drop: false }`
[INFO] [stdout] 4954e41e032157990d50f7dff10dd293448d052be26f836facbad13112e64194
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] b964785ba2b54e9114170860e04f1fb3239efefdb1bfec720db5f4c51c8c7f99
[INFO] running `Command { std: "docker" "start" "-a" "b964785ba2b54e9114170860e04f1fb3239efefdb1bfec720db5f4c51c8c7f99", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.20s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/eggy1-9f18c59c2f1f6d8d)
[INFO] [stdout] 
[INFO] [stdout] running 18 tests
[INFO] [stdout] test expr_convert::tests::test_new_operators ... ok
[INFO] [stdout] test expr_convert::tests::test_prefix_to_infix_complex ... ok
[INFO] [stdout] test expr_convert::tests::test_numbers ... ok
[INFO] [stdout] test expr_convert::tests::test_prefix_to_infix_simple ... ok
[INFO] [stdout] test expr_convert::tests::test_precedence ... ok
[INFO] [stdout] test expr_convert::tests::test_prefix_to_infix_parentheses ... ok
[INFO] [stdout] test expr_convert::tests::test_prefix_to_infix_precedence ... ok
[INFO] [stdout] test expr_convert::tests::test_prefix_to_infix_roundtrip ... ok
[INFO] [stdout] test expr_convert::tests::test_variables ... ok
[INFO] [stdout] test expr_convert::tests::test_prefix_to_infix_unary ... ok
[INFO] [stdout] test expr_convert::tests::test_simple ... ok
[INFO] [stdout] test expr_convert::tests::test_shift_operators ... ok
[INFO] [stdout] test expr_convert::tests::test_complex_nested_expressions ... ok
[INFO] [stdout] test expr_convert::tests::test_complex ... ok
[INFO] [stdout] test expr_convert::tests::test_parentheses ... ok
[INFO] [stdout] test expr_convert::tests::test_prefix_to_infix_new_operators ... ok
[INFO] [stdout] test tests::test_complex_simplify has been running for over 60 seconds
[INFO] [stdout] test tests::test_formal_simplify has been running for over 60 seconds
[INFO] [stdout] test tests::test_formal_simplify ... ok
[INFO] [stdout] test tests::test_complex_simplify ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- tests::test_complex_simplify stdout ----
[INFO] [stdout] #1 x + (~y + 1)
[INFO] [stdout] #2 (x ^ y) - 2*(~x & y)
[INFO] [stdout] #3 (x & ~y) - (~x & y)
[INFO] [stdout] #4 2*(x & ~y) - (x ^ y)
[INFO] [stdout] #5 (-x - 1) - (-2 * x)
[INFO] [stdout] #6 2*x + ~x
[INFO] [stdout] #7 2*(x | y) + (x ^ ~y)
[INFO] [stdout] #8 (x | ~y) + y
[INFO] [stdout] #9 (x + y) + ~(x & y)
[INFO] [stdout] #10 (~x | 1) + x
[INFO] [stdout] #11 x - (~y + 1)
[INFO] [stdout] #12 (x ^ y) + 2*(x & y)
[INFO] [stdout] #13 (x | y) + (x & y)
[INFO] [stdout] #14 2*(x | y) - (x ^ y)
[INFO] [stdout] #15 2*(x | y | z) - (x ^ (y | z))
[INFO] [stdout] #16 (x ^ y) + 2*(x & y)
[INFO] [stdout] #17 (a ^ 5) + 2*(a & 5)
[INFO] [stdout] #18 ((a & 0xff) ^ 0x12) + 2*(a & 0x12)
[INFO] [stdout] #19 (a ^ 0xfe) + 2*(a | 0x01)
[INFO] [stdout] #20 ~(x ^ y) + 2*(x | y)
[INFO] [stdout] #21 ~(x ^ y) - (-2 * (x | y))
[INFO] [stdout] #22 (x - y) - 2*(x | ~y)
[INFO] [stdout] #23 (x - y) - 2*(~(~x & y))
[INFO] [stdout] #24 (x | y)*(x & y) + (x & ~y)*(y & ~x)
[INFO] [stdout] #25 (x | y)*(x & y) + ~(x | ~y)*(x & ~y)
[INFO] [stdout] #26 2 + 2*(y + (x | ~y))
[INFO] [stdout] #27 -(x & y) - (x & y)
[INFO] [stdout] #28 (~x | y) - ~x
[INFO] [stdout] #29 (x + y) - (x | y)
[INFO] [stdout] #30 (x | y) - (x ^ y)
[INFO] [stdout] #31 (x | y) & ~(x ^ y)
[INFO] [stdout] #32 (x & y) & ~(x ^ y)
[INFO] [stdout] #33 x & ~(x ^ y)
[INFO] [stdout] #34 (x | y) - y
[INFO] [stdout] #35 x - (x & y)
[INFO] [stdout] #36 x ^ (x & y)
[INFO] [stdout] #37 x & (x ^ y)
[INFO] [stdout] #38 (x | y) ^ y
[INFO] [stdout] #39 (x & z) | (y & z)
[INFO] [stdout] #40 (x & z) ^ (y & z)
[INFO] [stdout] #41 (~x | y) + (x + 1)
[INFO] [stdout] #42 (x | y) & (x ^ ~y)
[INFO] [stdout] #43  (x ^ ~y) & y
[INFO] [stdout] #44 (x * x) & 3
[INFO] [stdout] #45 -x - 1
[INFO] [stdout] #46 ~(x | y) | ~y
[INFO] [stdout] #47 (x - 1) - 2*x
[INFO] [stdout] #48 ~(x ^ y) ^ y
[INFO] [stdout] #49 ~x ^ ~y
[INFO] [stdout] #50 (x ^ y) | ~(x | y)
[INFO] [stdout] #51 ~x | ~y
[INFO] [stdout] #52 ~x & ~y
[INFO] [stdout] #53 (x & y) | ~(x | y)
[INFO] [stdout] #54 (x & y) ^ (x | ~y)
[INFO] [stdout] #55 (x & y) | (~x & ~y)
[INFO] [stdout] #56 (x | y) ^ (~x | ~y)
[INFO] [stdout] #57 (x | ~y) & (~x | y)
[INFO] [stdout] #58 (~x | ~y) | (x ^ y)
[INFO] [stdout] #59 ~x | (x ^ y)
[INFO] [stdout] #60 (x ^ ~y) - 2*(x & y)
[INFO] [stdout] #61 (x & ~y) | ~(x | y)
[INFO] [stdout] #62 ~x & (~x ^ c)
[INFO] [stdout] #63 ((x ^ 0x12) & 1) | ((x ^ 8) & 0xfe)
[INFO] [stdout] #64 ((x ^ 8) | (1 & x))
[INFO] [stdout] #65 (x - 7) + 11*(x - 8)
[INFO] [stdout] #66 (x >> z) & (y >> z)
[INFO] [stdout] #67 2*x - (x & ~y)
[INFO] [stdout] #68 (x & ~y) - 2*x
[INFO] [stdout] #69 (x & ~y) - (x & y)
[INFO] [stdout] #70 (~x | (~y & z)) + (x + (y & z)) - z
[INFO] [stdout] #71 ((((~y & z) & x) + -1) + -(~y & z))
[INFO] [stdout] #72 (x | y) + (x & ~y)
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::test_complex_simplify' (33) panicked at src/main.rs:905:13:
[INFO] [stdout] (x | y) + (x & ~y) (Add (Or (Var "x") (Var "y")) (And (Var "x") (Not (Var "y"))))
[INFO] [stdout] (x + (y ^ x)) != ["((x ^ y) + x)", "((y ^ x) + x)"] 
[INFO] [stdout] 
[INFO] [stdout] (datatype Expr
[INFO] [stdout]     (Num i64 :cost 0)
[INFO] [stdout]     (Add Expr Expr)
[INFO] [stdout]     (Sub Expr Expr)
[INFO] [stdout]     (Mul Expr Expr)
[INFO] [stdout]     (Div Expr Expr)
[INFO] [stdout]     (Mod Expr Expr)
[INFO] [stdout]     (And Expr Expr)
[INFO] [stdout]     (Or Expr Expr)
[INFO] [stdout]     (Xor Expr Expr)
[INFO] [stdout]     (Shr Expr Expr)
[INFO] [stdout]     (Shl Expr Expr)
[INFO] [stdout]     (Not Expr)
[INFO] [stdout]     (Neg Expr)
[INFO] [stdout]     (Var String)
[INFO] [stdout] )
[INFO] [stdout] (ruleset default-ruleset)
[INFO] [stdout] (ruleset constant-folding)
[INFO] [stdout] (ruleset identity-zero-element)
[INFO] [stdout] (ruleset canonicalization)
[INFO] [stdout] (ruleset simplify)
[INFO] [stdout] (rewrite (Add (Num a) (Num b))   (Num (wrapping-add-i8 a b)) :ruleset constant-folding)
[INFO] [stdout] (rewrite (Sub (Num a) (Num b))   (Num (wrapping-sub-i8 a b)) :ruleset constant-folding)
[INFO] [stdout] (rewrite (Mul (Num a) (Num b))   (Num (wrapping-mul-i8 a b)) :ruleset constant-folding)
[INFO] [stdout] (rewrite (Div (Num a) (Num b))   (Num (wrapping-div-i8 a b)) :when ((!= (Num b) (Num 0))) :ruleset constant-folding)
[INFO] [stdout] (rewrite (And (Num a) (Num b))   (Num (wrapping-and-i8 a b)) :ruleset constant-folding)
[INFO] [stdout] (rewrite (Or (Num a) (Num b))   (Num (wrapping-or-i8 a b)) :ruleset constant-folding)
[INFO] [stdout] (rewrite (Xor (Num a) (Num b))   (Num (wrapping-xor-i8 a b)) :ruleset constant-folding)
[INFO] [stdout] (rewrite (Shl (Num a) (Num b))   (Num (wrapping-shl-i8 a b)) :ruleset constant-folding)
[INFO] [stdout] (rewrite (Shr (Num a) (Num b))   (Num (wrapping-shr-i8 a b)) :ruleset constant-folding)
[INFO] [stdout] (rewrite (Mod (Num a) (Num b))   (Num (wrapping-mod-i8 a b)) :when ((!= (Num b) (Num 0))) :ruleset constant-folding)
[INFO] [stdout] (rewrite (Not (Num a))   (Num (wrapping-not-i8 a)) :ruleset constant-folding)
[INFO] [stdout] (rewrite (Neg (Num a))   (Num (wrapping-neg-i8 a)) :ruleset constant-folding)
[INFO] [stdout] (rewrite (Add a (Num 0)) a :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Sub a (Num 0)) a :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Sub (Num 0) a) (Neg a) :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Neg (Neg a)) a :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Sub a a) (Num 0) :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Add a (Neg a)) (Num 0) :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Mul a (Num 0)) (Num 0) :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Mul a (Num 1)) a :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Div (Num 0) a) (Num 0) :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Div a (Num 1)) a :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Mul a (Div (Num 1) a)) (Num 1) :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Div a (Num -1)) (Neg a) :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Div a a) (Num 1) :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Or a (Num 0)) a :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Or a (Num -1)) (Num -1) :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Or a (Not a)) (Num -1) :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Or a a) a :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (And a (Num 0)) (Num 0) :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (And a (Num -1)) a :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (And a a) a :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (And a (Not a)) (Num 0) :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Xor a a) (Num 0) :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Xor a (Not a)) (Num -1) :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Xor a (Num 0)) a :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Xor a (Num -1)) (Not a) :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Shr a (Num 0)) a :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Shl a (Num 0)) a :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Not (Not a)) a :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (And a (Or a b)) a :ruleset identity-zero-element)
[INFO] [stdout] (rewrite (Or a (And a b)) a :ruleset identity-zero-element)
[INFO] [stdout] (birewrite (Sub a b) (Add a (Neg b)) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Div a b) (Mul a (Div (Num 1) b)) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Not a) (Sub (Neg a) (Num 1)) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Neg a) (Mul a (Num -1)) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Not (Mul x y)) (Add (Mul (Not x) y) (Sub y (Num 1))) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Not (Add x y)) (Add (Add (Not y) (Num 1)) (Not x)) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Not (Sub x y)) (Sub (Not x) (Add (Not y) (Num 1))) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Not (And x y)) (Sub (Neg (And x y)) (Num 1)) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Not (And x y)) (Or (Not x) (Not y)) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Not (Xor x y)) (Xor x (Not y)) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Not (Or x y)) (And (Not x) (Not y)) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Or x y) (Add (And x (Not y)) y) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Or x y) (Sub (Add x y) (And x y)) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Or x y) (Add (Xor x y) (And x y)) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Neg (Add x y)) (Sub (Neg x) y) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Neg (Sub x y)) (Sub y x) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Neg (Mul x y)) (Mul (Neg x) y) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Mul (Num x) (Neg y)) (Mul (Neg (Num x)) y) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Add (Mul (Num a) x) (Num a)) (Mul (Num a) (Add x (Num 1))) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Sub (Mul (Num a) x) (Num a)) (Mul (Num a) (Sub x (Num 1))) :ruleset canonicalization)
[INFO] [stdout] (birewrite (And (Mul (Num a) x) (Num a)) (Mul (Num a) (And x (Num 1))) :ruleset canonicalization :when ((is-2-pow-n-i8 a)))
[INFO] [stdout] (birewrite (Neg (Div x y)) (Div (Neg x) y) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Mul (Add a b) (Sub a b)) (Sub (Mul a a) (Mul b b)) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Mul (Add a b) (Add a b)) (Add (Add (Mul a a) (Mul (Mul (Num 2) a) b)) (Mul b b)) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Mul (Add x y) z) (Add (Mul x z) (Mul y z)) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Mul (Sub x y) z) (Sub (Mul x z) (Mul y z)) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Add (Mul x y) y) (Mul (Add x (Num 1)) y) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Sub (Mul x y) y) (Mul (Sub x (Num 1)) y) :ruleset canonicalization)
[INFO] [stdout] (rewrite (Shr (Shr a b) c) (Shr a (Add b c)) :ruleset canonicalization)
[INFO] [stdout] (rewrite (Shl (Shl a b) c) (Shl a (Add b c)) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Or a (And b c)) (And (Or a b) (Or a c)) :ruleset canonicalization)
[INFO] [stdout] (birewrite (And a (Or b c)) (Or (And a b) (And a c)) :ruleset canonicalization)
[INFO] [stdout] (birewrite (And a (Xor b c)) (Xor (And a b) (And a c)) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Shr (And x y) z) (And (Shr x z) (Shr y z)) :ruleset canonicalization)
[INFO] [stdout] (birewrite (Mul (Num 2) x) (Add x x) :ruleset canonicalization)
[INFO] [stdout] (rewrite (Sub a (Neg b)) (Add a b) :ruleset canonicalization)
[INFO] [stdout] (rewrite (Add a b) (Add b a) :ruleset default-ruleset)
[INFO] [stdout] (rewrite (Mul a b) (Mul b a) :ruleset default-ruleset)
[INFO] [stdout] (rewrite (And a b) (And b a) :ruleset default-ruleset)
[INFO] [stdout] (rewrite (Or a b) (Or b a) :ruleset default-ruleset)
[INFO] [stdout] (rewrite (Xor a b) (Xor b a) :ruleset default-ruleset)
[INFO] [stdout] (rewrite (Mul x (Mul y z)) (Mul (Mul x y) z) :ruleset default-ruleset)
[INFO] [stdout] (rewrite (Add x (Add y z)) (Add (Add x y) z) :ruleset default-ruleset)
[INFO] [stdout] (rewrite (And x (And y z)) (And (And x y) z) :ruleset default-ruleset)
[INFO] [stdout] (rewrite (Xor x (Xor y z)) (Xor (Xor x y) z) :ruleset default-ruleset)
[INFO] [stdout] (rewrite (Or x (Or y z)) (Or (Or x y) z) :ruleset default-ruleset)
[INFO] [stdout] (rewrite (Sub (Xor x y) (Mul (Num 2) (And (Not x) y))) (Sub x y) :ruleset simplify)
[INFO] [stdout] (rewrite (Sub (Mul (Num 2) (And x (Not y))) (Xor x y)) (Sub x y) :ruleset simplify)
[INFO] [stdout] (rewrite (Sub (And x (Not y)) (And (Not x) y)) (Sub x y) :ruleset simplify)
[INFO] [stdout] (rewrite (Xor (And a b) (And a (Not b))) a :ruleset simplify)
[INFO] [stdout] (rewrite (Add (Mul (Num 2) (Or x y)) (Xor x (Not y))) (Sub (Add x y) (Num 1)) :ruleset simplify)
[INFO] [stdout] (rewrite (Add (Or x (Not y)) y) (Sub (And x y) (Num 1)) :ruleset simplify)
[INFO] [stdout] (rewrite (Add (Add x y) (Not (And x y))) (Sub (Or x y) (Num 1)) :ruleset simplify)
[INFO] [stdout] (rewrite (Add (Xor x y) (Mul (Num 2) (And x y))) (Add x y) :ruleset simplify)
[INFO] [stdout] (rewrite (Add (Xor (And x (Num 255)) (Num c1)) (Mul (Num 2) (And x (Num c2)))) (Add (And x (Num 255)) (Num c1)) :ruleset simplify :when ((= (& c1 255) c2)))
[INFO] [stdout] (rewrite (Add (Xor x (Num c1)) (Mul (Num 2) (Or x (Num c2)))) (Sub (Add x (Num c2)) (Num 1)) :ruleset simplify :when ((is-bit-not-eq-i8 c1 c2)))
[INFO] [stdout] (rewrite (Sub (Sub x y) (Mul (Num 2) (Or x (Not y)))) (Add (Xor x y) (Num 2)) :ruleset simplify)
[INFO] [stdout] (rewrite (Add (Mul (Or x y) (And x y)) (Mul (And x (Not y)) (And y (Not x)))) (Mul x y) :ruleset simplify)
[INFO] [stdout] (rewrite (Sub (Add x y) (Or x y)) (And x y) :ruleset simplify)
[INFO] [stdout] (rewrite (Sub (And y (Not x)) y) (Neg (And y x)) :ruleset simplify)
[INFO] [stdout] (rewrite (Sub x (And y x)) (And x (Not y)) :ruleset simplify)
[INFO] [stdout] (rewrite (Sub (Or x y) y) (And x (Not y)) :ruleset simplify)
[INFO] [stdout] (rewrite (Xor x (And x y)) (And x (Not y)) :ruleset simplify)
[INFO] [stdout] (rewrite (Xor (Or x y) y) (And x (Not y)) :ruleset simplify)
[INFO] [stdout] (rewrite (And (Mul x x) (Num 3)) (And x (Num 1)) :ruleset simplify)
[INFO] [stdout] (rewrite (Xor (Not x) (Not y)) (Xor x y) :ruleset simplify)
[INFO] [stdout] (rewrite (Xor (Or x y) (Or (Not x) (Not y))) (Not (Xor x y)) :ruleset simplify)
[INFO] [stdout] (rewrite (Sub (Or x y) (And x y)) (Xor x y) :ruleset simplify)
[INFO] [stdout] (rewrite (Sub (And x (Not y)) (And x y)) (Sub (Xor x y) y) :ruleset simplify)
[INFO] [stdout] (rewrite (Add (Or x y) (And x (Not y))) (Add (Xor x y) x) :ruleset simplify)
[INFO] [stdout] (rewrite (Add (And x y) (And x (Not y))) x :ruleset simplify)
[INFO] [stdout] (rewrite (Xor (And x y) (And x (Not y))) x :ruleset simplify)
[INFO] [stdout] (rewrite (Xor (And x y) (Or x y)) (Xor x y) :ruleset simplify)
[INFO] [stdout] (rewrite (Or (And x y) (Xor x y)) (Or x y) :ruleset simplify)
[INFO] [stdout] (rewrite (Xor (And x y) (Xor x y)) (Or x y) :ruleset simplify)
[INFO] [stdout] (rewrite (Or (Xor x y) y) (Or x y) :ruleset simplify)
[INFO] [stdout] (rewrite (Not (Sub x (Num 1))) (Neg x) :ruleset simplify)
[INFO] [stdout] (rewrite (Add (Not x) (Num 1)) (Neg x) :ruleset simplify)
[INFO] [stdout] (rewrite (Sub (Add x y) (Mul (Num 2) (And x y))) (Xor x y) :ruleset simplify)
[INFO] [stdout] (rewrite (Sub (Mul (Num 2) (Or x y)) (Add x y)) (Xor x y) :ruleset simplify)
[INFO] [stdout] (rewrite (Sub (Or x y) (Xor x y)) (And x y) :ruleset simplify)
[INFO] [stdout] (rewrite (Sub (Or (Not x) y) (Not x)) (And x y) :ruleset simplify)
[INFO] [stdout] (rewrite (Add (Or x y) (And x y)) (Add x y) :ruleset simplify)
[INFO] [stdout] (rewrite (Sub (Mul (Num 2) (Or x y)) (Xor x y)) (Add x y) :ruleset simplify)
[INFO] [stdout] (rewrite (Sub (And x y) (Add x y)) (Neg (Or x y)) :ruleset simplify)
[INFO] [stdout] (rewrite (Sub (And x y) (Or x y)) (Neg (Xor x y)) :ruleset simplify)
[INFO] [stdout] (rewrite (Sub (Xor x y) (Mul (Num 2) (Or x y))) (Neg (Add x y)) :ruleset simplify)
[INFO] [stdout] (rewrite (Sub (Add x y) (Mul (Num 2) (Or x y))) (Neg (Xor x y)) :ruleset simplify)
[INFO] [stdout] (rewrite (Sub x (And x y)) (And x (Not y)) :ruleset simplify)
[INFO] [stdout] (rewrite (And x (Xor x y)) (And x (Not y)) :ruleset simplify)
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5b5e0b7197ea - std[ec4e911328de40a6]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5b5e0b7197ea - std[ec4e911328de40a6]::backtrace_rs::backtrace::trace_unsynchronized::<std[ec4e911328de40a6]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5b5e0b7197ea - std[ec4e911328de40a6]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5b5e0b7197ea - <<std[ec4e911328de40a6]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a96a4c5c53f902a3]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5b5e0b72fd7a - <core[a96a4c5c53f902a3]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5b5e0b72fd7a - core[a96a4c5c53f902a3]::fmt::write
[INFO] [stdout]    6:     0x5b5e0b71e682 - std[ec4e911328de40a6]::io::default_write_fmt::<alloc[c960326de6de28e6]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x5b5e0b71e682 - <alloc[c960326de6de28e6]::vec::Vec<u8> as std[ec4e911328de40a6]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x5b5e0b6f7f1f - <std[ec4e911328de40a6]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5b5e0b6f7f1f - std[ec4e911328de40a6]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5b5e0b7117d9 - std[ec4e911328de40a6]::panicking::default_hook
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5b5e0ad3024c - <alloc[c960326de6de28e6]::boxed::Box<dyn for<'a, 'b> core[a96a4c5c53f902a3]::ops::function::Fn<(&'a std[ec4e911328de40a6]::panic::PanicHookInfo<'b>,), Output = ()> + core[a96a4c5c53f902a3]::marker::Sync + core[a96a4c5c53f902a3]::marker::Send> as core[a96a4c5c53f902a3]::ops::function::Fn<(&std[ec4e911328de40a6]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/alloc/src/boxed.rs:2254:9
[INFO] [stdout]   12:     0x5b5e0ad3024c - test[30c43f9fd66fea90]::test_main_with_exit_callback::<test[30c43f9fd66fea90]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x5b5e0b711a52 - <alloc[c960326de6de28e6]::boxed::Box<dyn for<'a, 'b> core[a96a4c5c53f902a3]::ops::function::Fn<(&'a std[ec4e911328de40a6]::panic::PanicHookInfo<'b>,), Output = ()> + core[a96a4c5c53f902a3]::marker::Sync + core[a96a4c5c53f902a3]::marker::Send> as core[a96a4c5c53f902a3]::ops::function::Fn<(&std[ec4e911328de40a6]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/alloc/src/boxed.rs:2254:9
[INFO] [stdout]   14:     0x5b5e0b711a52 - std[ec4e911328de40a6]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x5b5e0b6f7fd8 - std[ec4e911328de40a6]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x5b5e0b6ef299 - std[ec4e911328de40a6]::sys::backtrace::__rust_end_short_backtrace::<std[ec4e911328de40a6]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5b5e0b6f8ddd - __rustc[aa69f48705c57ca8]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x5b5e0b73053c - core[a96a4c5c53f902a3]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5b5e0ad0ef3d - eggy1[b463544ac11dbea0]::tests::test_complex_simplify
[INFO] [stdout]                                at /opt/rustwide/workdir/src/main.rs:905:13
[INFO] [stdout]   20:     0x5b5e0acf6d87 - eggy1[b463544ac11dbea0]::tests::test_complex_simplify::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/main.rs:599:31
[INFO] [stdout]   21:     0x5b5e0ad1a466 - <eggy1[b463544ac11dbea0]::tests::test_complex_simplify::{closure#0} as core[a96a4c5c53f902a3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x5b5e0ad2432b - <fn() -> core[a96a4c5c53f902a3]::result::Result<(), alloc[c960326de6de28e6]::string::String> as core[a96a4c5c53f902a3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x5b5e0ad2432b - test[30c43f9fd66fea90]::__rust_begin_short_backtrace::<core[a96a4c5c53f902a3]::result::Result<(), alloc[c960326de6de28e6]::string::String>, fn() -> core[a96a4c5c53f902a3]::result::Result<(), alloc[c960326de6de28e6]::string::String>>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/test/src/lib.rs:663:18
[INFO] [stdout]   24:     0x5b5e0ad30d1b - test[30c43f9fd66fea90]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/test/src/lib.rs:686:74
[INFO] [stdout]   25:     0x5b5e0ad30d1b - <core[a96a4c5c53f902a3]::panic::unwind_safe::AssertUnwindSafe<test[30c43f9fd66fea90]::run_test_in_process::{closure#0}> as core[a96a4c5c53f902a3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   26:     0x5b5e0ad30d1b - std[ec4e911328de40a6]::panicking::catch_unwind::do_call::<core[a96a4c5c53f902a3]::panic::unwind_safe::AssertUnwindSafe<test[30c43f9fd66fea90]::run_test_in_process::{closure#0}>, core[a96a4c5c53f902a3]::result::Result<(), alloc[c960326de6de28e6]::string::String>>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panicking.rs:581:40
[INFO] [stdout]   27:     0x5b5e0ad30d1b - std[ec4e911328de40a6]::panicking::catch_unwind::<core[a96a4c5c53f902a3]::result::Result<(), alloc[c960326de6de28e6]::string::String>, core[a96a4c5c53f902a3]::panic::unwind_safe::AssertUnwindSafe<test[30c43f9fd66fea90]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panicking.rs:544:19
[INFO] [stdout]   28:     0x5b5e0ad30d1b - std[ec4e911328de40a6]::panic::catch_unwind::<core[a96a4c5c53f902a3]::panic::unwind_safe::AssertUnwindSafe<test[30c43f9fd66fea90]::run_test_in_process::{closure#0}>, core[a96a4c5c53f902a3]::result::Result<(), alloc[c960326de6de28e6]::string::String>>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x5b5e0ad30d1b - test[30c43f9fd66fea90]::run_test_in_process
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/test/src/lib.rs:686:27
[INFO] [stdout]   30:     0x5b5e0ad30d1b - test[30c43f9fd66fea90]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/test/src/lib.rs:607:43
[INFO] [stdout]   31:     0x5b5e0ad2c434 - test[30c43f9fd66fea90]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/test/src/lib.rs:637:41
[INFO] [stdout]   32:     0x5b5e0ad2c434 - std[ec4e911328de40a6]::sys::backtrace::__rust_begin_short_backtrace::<test[30c43f9fd66fea90]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   33:     0x5b5e0ad33922 - std[ec4e911328de40a6]::thread::lifecycle::spawn_unchecked::<test[30c43f9fd66fea90]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   34:     0x5b5e0ad33922 - <core[a96a4c5c53f902a3]::panic::unwind_safe::AssertUnwindSafe<std[ec4e911328de40a6]::thread::lifecycle::spawn_unchecked<test[30c43f9fd66fea90]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[a96a4c5c53f902a3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   35:     0x5b5e0ad33922 - std[ec4e911328de40a6]::panicking::catch_unwind::do_call::<core[a96a4c5c53f902a3]::panic::unwind_safe::AssertUnwindSafe<std[ec4e911328de40a6]::thread::lifecycle::spawn_unchecked<test[30c43f9fd66fea90]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panicking.rs:581:40
[INFO] [stdout]   36:     0x5b5e0ad33922 - std[ec4e911328de40a6]::panicking::catch_unwind::<(), core[a96a4c5c53f902a3]::panic::unwind_safe::AssertUnwindSafe<std[ec4e911328de40a6]::thread::lifecycle::spawn_unchecked<test[30c43f9fd66fea90]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panicking.rs:544:19
[INFO] [stdout]   37:     0x5b5e0ad33922 - std[ec4e911328de40a6]::panic::catch_unwind::<core[a96a4c5c53f902a3]::panic::unwind_safe::AssertUnwindSafe<std[ec4e911328de40a6]::thread::lifecycle::spawn_unchecked<test[30c43f9fd66fea90]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x5b5e0ad33922 - std[ec4e911328de40a6]::thread::lifecycle::spawn_unchecked::<test[30c43f9fd66fea90]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   39:     0x5b5e0ad33922 - <std[ec4e911328de40a6]::thread::lifecycle::spawn_unchecked<test[30c43f9fd66fea90]::run_test::{closure#1}, ()>::{closure#1} as core[a96a4c5c53f902a3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x5b5e0b718d5f - <alloc[c960326de6de28e6]::boxed::Box<dyn core[a96a4c5c53f902a3]::ops::function::FnOnce<(), Output = ()> + core[a96a4c5c53f902a3]::marker::Send> as core[a96a4c5c53f902a3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/alloc/src/boxed.rs:2240:9
[INFO] [stdout]   41:     0x5b5e0b718d5f - <std[ec4e911328de40a6]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   42:     0x779f10662aa4 - <unknown>
[INFO] [stdout]   43:     0x779f106efa64 - clone
[INFO] [stdout]   44:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     tests::test_complex_simplify
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 17 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 362.46s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--bin eggy1`
[INFO] running `Command { std: "docker" "inspect" "b964785ba2b54e9114170860e04f1fb3239efefdb1bfec720db5f4c51c8c7f99", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b964785ba2b54e9114170860e04f1fb3239efefdb1bfec720db5f4c51c8c7f99", kill_on_drop: false }`
[INFO] [stdout] b964785ba2b54e9114170860e04f1fb3239efefdb1bfec720db5f4c51c8c7f99
